Xfce Terminal
https://docs.xfce.org/apps/terminal/start
ぱっと開く起動オプションがある
$ xfce4-terminal --drop-down
https://docs.xfce.org/apps/xfce4-terminal/dropdown
F4
キーがデフォルトのショートカットにされることが多い？
あんも.icon
Quake
というゲームでのターミナルが由来らしい